25th International Joint Conference on Artificial Intelligence New York City, July 9–15, 2016 www.ijcai-16.org Organizing Institutions

Source URL: ijcai-16.org

• Turing Award laureates
• Fellows of the Royal Society
• Guggenheim Fellows
• Canada Research Chairs
• Peter Stone
• Hector Levesque
• Henry Kautz
• Alan Bundy
• Raymond Reiter
• Qiang Yang
• IJCAI Award for Research Excellence
• John McCarthy

AI  Journal  13th  call  for  sponsorship  applications Jan-­‐16 Event 2nd  Workshop  on  Player  Modeling   IJCAI  2016  Workshop  on  Cognitive  Knowledge  Acquisit

Source URL: aij.ijcai.org

• Artificial intelligence
• International Joint Conference on Artificial Intelligence
• European Conference on Artificial Intelligence
• Henry Kautz

Unsupervised Alignment of Natural Language Instructions with Video Segments Iftekhar Naim, Young Chol Song, Qiguang Liu, Henry Kautz, Jiebo Luo, and Daniel Gildea Department of Computer Science, University of Rochester R

Source URL: www.cs.rochester.edu

IJCAI 15 TECHNICAL PROGRAM Welcome to IJCAI 2015! We are delighted to welcome you to the Twenty-Fourth International Joint Conference on AI (IJCAI-15). The two years since IJCAI-13 in Beijing have been a tremendously ex

Source URL: ijcai-15.org

• Artificial intelligence
• Fellows of the Royal Society
• International Joint Conference on Artificial Intelligence
• Canada Research Chairs
• Guillermo Simari
• Peter Stone
• Qiang Yang
• Hector Levesque
• Bernhard Nebel
• John McCarthy
• Raymond Reiter
• Henry Kautz

Research on Statistical Relational Learning at the University of Washington Pedro Domingos, Yeuhi Abe, Corin Anderson, AnHai Doan, Dieter Fox, Alon Halevy, Geoff Hulten, Henry Kautz, Tessa Lau, Lin Liao, Jayant Madhavan,

Source URL: tlau.org

• Machine learning
• Data mining
• Learning
• Bayesian statistics
• Statistical relational learning
• Probabilistic relational model
• Markov chain
• SIGKDD
• Bayesian network
• Statistics
• Probability and statistics
• Statistical models

Modeling The Interplay of People’s Location, Interactions, and Social Ties˚ Adam Sadilek Henry Kautz Department of Computer Science University of Rochester

Source URL: www.cs.rochester.edu

• Social media
• Real-time web
• Text messaging
• Twitter
• Websites
• Activity recognition
• Social networking service
• Internet privacy
• Interpersonal ties
• Technology
• Science
• Human development

Combining Component Caching and Clause Learning for Effective Model Counting Tian Sang1 , Fahiem Bacchus2 , Paul Beame1 , Henry Kautz 1 , and Toniann Pitassi 2 1 Computer Science and Engineering, University of Washingto

Source URL: www.cs.toronto.edu

• NP-complete problems
• Automated theorem proving
• Constraint programming
• Boolean algebra
• Formal methods
• DPLL algorithm
• Boolean satisfiability problem
• Conjunctive normal form
• Lookup table
• Theoretical computer science
• Applied mathematics
• Mathematics

Knowledge Compilation and Theory Approximation Henry Kautz and Bart Selman Presented by Kelvin Ku

Source URL: www.cs.toronto.edu

• Structure
• Universal algebra
• Horn clause
• Logic
• Mathematical logic
• Mathematics
• Model theory

Finding Your Friends and Following Them to Where You Are Adam Sadilek Henry Kautz

Source URL: www.cs.rochester.edu

• World Wide Web
• Networks
• Cybernetics
• Markov models
• Text messaging
• Twitter
• Bayesian network
• Social networking service
• Internet privacy
• Statistics
• Technology
• Social media

Real-Time Crowd Labeling for Deployable Activity Recognition Walter S. Lasecki, Young Chol Song, Henry Kautz, and Jeffrey P. Bigham University of Rochester Computer Science {wlasecki, ysong, kautz, jbigham}@cs.rochester.

Source URL: www.cs.rochester.edu

• Technology
• Automatic identification and data capture
• Machine learning
• Radio-frequency identification
• Wireless
• Activity recognition
• Surveillance
• Human factors
• Pattern recognition
• Ethics
• Science
• Privacy